-- MAIN == 1
DEF MAIN:bool == or(false,true)
